Project Acronym : HATS Project Title : Highly Adaptable and Trustworthy Software using Formal Models
نویسنده
چکیده
method contracts are fully compatible with contract deltas, with the restriction that assignable clauses may not be changed. The only difference is that all changes specified in a delta are acted upon in the definition section of an abstract contract—the abstract section remains completely unchanged. In our example, the application of the delta in Fig. 2.7 results in an abstract contract with two specification cases,
منابع مشابه
Project Acronym : HATS Project Title : Highly Adaptable and Trustworthy Software using Formal Models
Long-lived, dependable systems evolve during their life time: new functionality is added, errors are discovered, new requirements appear, etc. It is often infeasible to stop and redeploy a system in order to upgrade it, due to the associated downtime. A system that can adapt to changes dynamically is more dependable. In this paper we present dynamic ABS: to cope with the need to modify ABS code...
متن کاملHATS: Highly Adaptable and Trustworthy Software Using Formal Methods
The HATS project develops a formal method for the design, analysis, and implementation of highly adaptable software systems that are at the same time characterized by a high demand on trustworthiness. Existing modeling formalisms leave gap between highly abstract, largely structural models and executable code on the implementation level. In HATS we aim to close this gap with an object-oriented,...
متن کاملHATS: Highly Adaptable and Trustworthy Software using Formal Models
behavioral HATS ABS language Specification level Languages Figure 1: Positioning of the HATS ABS language.
متن کاملHATS - A Formal Software Product Line Engineering Methodology
Trust in software is typically achieved via stabilisation efforts over long periods of use. Adaptation to changing circumstances, however, often requires substantial change of the software. Changing a software system using standard manufacturing processes often results in quality regressions, invalidating trust. Formal methods provide means to guarantee various properties of a software system t...
متن کامل